Some scientists and philosophers, based on scientific discoveries and empirical evidence, argue that free will does not exist. Some authors defend the opposite opinion. The universality of their reasoning unites opponents. They seek to correlate scientific knowledge with the entire sum of human actions and, consequently justify the existence of freedom of will or its absence. In the paper, I propose to narrow the focus of the issue to the study of the degree of freedom of individual actions or certain (...) classes of actions. For this, I introduce the epistemic criterion, according to it, recognition of the action as not free requires knowledge of the causes of the action for which the agent is not responsible. I analyse two groups of cases: those where scientific knowledge reveals hidden causes of behavior and those where the causes remain unknown. Actions from the second group still constitute an essential part of our behavior. The amount of knowledge about the causes of actions will increase over time, but this knowledge will never be comprehensive. (shrink)

Veritism is the thesis that the truth is the fundamental epistemic good. According to Duncan Pritchard, the most pressing objections to veritism are the trivial truths objection and the trivial inquiry problem. The former states that veritism entails that trivial truths are as important as deep and important truths. The latter is a problem that a veritist must prefer trivial inquiry that generates many trivial truths to the serious inquiry with the hope but no guarantee to discover some deep and (...) important truth. Both objections arise from the inability of veritism prima facie to properly rate the different types of truths. Pritchard's solution is to approach the truth from the perspective of the intellectually virtuous inquirer who would prefer weighty truth over trivial truth. In my commentary, I criticise the proposed solution as circular reasoning. The necessary virtue for an intellectually virtuous inquirer is that they would prefer the weighty truth over the trivial one and at the same time, the weighty truth is superior because it is the goal for intellectually virtuous inquirer. I suggest another path to substantiate veritism in the face of the two sibling objections. I argue that truth is the fundamental epistemic good as it makes the epistemic realm practically valuable more than any other epistemic good. The weighty truths are preferable to the trivial ones because the practical value of the deep and important truths is usually higher. The suggested path goes away from the attempts to prove the epistemic value of truth only within the epistemic realm, yet I argue it does not compel the intellectually virtuous inquirer to seek the truth only for the sake of practical reasons. (shrink)

We describe our explicit Lorentz-invariant solution of the Einstein and null geodesic equations for the deflection experiment of 2002 September 8 when a massive moving body, Jupiter, passed within 3.7’ of a line-of-sight to a distant quasar. We develop a general relativistic framework which shows that our measurement of the retarded position of a moving light-ray deflecting body (Jupiter) by making use of the gravitational time delay of quasar’s radio wave is equivalent to comparison of the relativistic laws of the (...) Lorentz transformation for gravity and light. Because, according to Einstein, the Lorentz transformation of gravity field variables must depend on a fundamental speed c, its measurement through the retarded position of Jupiter in the gravitational time delay allows us to study the causal nature of gravity and to set an upper limit on the speed of propagation of gravity in the near zone of the solar system as contrasted to the speed of the radio waves. In particular, the v/c term beyond of the standard Einstein’s deflection, which we measured to 20% accuracy, is associated with the aberration of the null direction of the gravity force (“aberration of gravity”) caused by the Lorentz transformation of the Christoffel symbols from the static frame of Jupiter to the moving frame of observer. General relativistic formulation of the experiment identifies the aberration of gravity with the retardation of gravity because the speed of gravitational waves in Einstein’s theory is equal to the speed of propagation of the gravity force. We discuss the misconceptions which have inhibited the acceptance of this interpretation of the experiment. We also comment on other interpretations of this experiment by Asada, Will, Samuel, Pascual–Sánchez, and Carlip and show that their “speed of light” interpretations confuse the Lorentz transformation for gravity with that for light, and the fundamental speed of gravity with the physical speed of light from the quasar. For this reason, the “speed of light” interpretations are not entirely consistent with a retarded Liénard–Wiechert solution of the Einstein equations, and do not properly incorporate how the phase of the radio waves from the quasar is perturbed by the retarded gravitational field of Jupiter. Although all of the formulations predict the same deflection to the order of v/c, our formulation shows that the underlying cause of this deflection term is associated with the aberration of gravity and not of light, and that the interpretations predict different deflections at higher orders of v/c beyond the Shapiro delay, thus, making their measurement highly desirable for deeper testing of general relativity in future astrometric experiments like Gaia, SIM, and SKA. (shrink)

In this review, we discuss how two evolutionarily conserved pathways at the interface of DNA replication and repair, template switching and break-induced replication, lead to the deleterious large-scale expansion of trinucleotide DNA repeats that cause numerous hereditary diseases. We highlight that these pathways, which originated in prokaryotes, may be subsequently hijacked to maintain long DNA microsatellites in eukaryotes. We suggest that the negative mutagenic outcomes of these pathways, exemplified by repeat expansion diseases, are likely outweighed by their positive role in (...) maintaining functional repetitive regions of the genome such as telomeres and centromeres. Break-induced replication and template switching are conserved mechanisms of replication fork restart. They do not cause microsatellite instability in prokaryotes, but promote repeat expansion in eukaryotes. We suggest that TS and BIR persisted in eukaryotes despite their mutagenic potential because they help maintain long repetitive telomeres and centromeres. (shrink)

We study completely decomposable torsion-free abelian groups of the form $\mathcal{G}_S := \oplus_{n \in S} \mathbb{Q}_{p_n}$ for sets $S \subseteq \omega$. We show that $\mathcal{G}_S$has a decidable copy if and only if S is $\Sigma^0_2$and has a computable copy if and only if S is $\Sigma^0_3$.

We present a one per cent measurement of the cosmic distance scale from the detections of the baryon acoustic oscillations in the clustering of galaxies from the Baryon Oscillation Spectroscopic Survey, which is part of the Sloan Digital Sky Survey III. Our results come from the Data Release 11 sample, containing nearly one million galaxies and covering approximately 8500 square degrees and the redshift range 0.2 < z < 0.7. We also compare these results with those from the publicly released (...) DR9 and DR10 samples. Assuming a concordance Λ cold dark matter cosmological model, the DR11 sample covers a volume of 13 Gpc3 and is the largest region of the Universe ever surveyed at this density. We measure the correlation function and power spectrum, including density-field reconstruction of the BAO feature. The acoustic features are detected at a significance of over 7σ in both the correlation function and power spectrum. Fitting for the position of the acoustic features measures the distance relative to the sound horizon at the drag epoch, rd, which has a value of rd,fid = 149.28 Mpc in our fiducial cosmology. We find DV = at z = 0.32 and DV = at z = 0.57. At 1.0 per cent, this latter measure is the most precise distance constraint ever obtained from a galaxy survey. Separating the clustering along and transverse to the line of sight yields measurements at z = 0.57 of DA = and H =. Our measurements of the distance scale are in good agreement with previous BAO measurements and with the predictions from cosmic microwave background data for a spatially flat CDM model with a cosmological constant. © 2014 The Author Published by Oxford University Press on behalf of the Royal Astronomical Society. (shrink)

We prove here that the intuitionistic theory $T_{0}\upharpoonright + UMID_{N}$ , or even $EEJ\upharpoonright + UMID_{N}$ , of Explicit Mathematics has the strength of $\prod_{2}^{1} - CA_{0}$ . In Section I we give a double-negation translation for the classical second-order $\mu-calculus$ , which was shown in [ $M\ddot{o}02$ ] to have the strength of $\prod_{2}^{1}-CA_{0}$ . In Section 2 we interpret the intuitionistic $\mu-calculus$ in the theory $EETJ\upharpoonright + UMID_{N}$ . The question about the strength of monotone inductive definitions in (...) $T_{0}$ was asked by S. Feferman in 1982, and - assuming classical logic - was addressed by M. Rathjen. (shrink)

Zusammenfassung Anhand dreier wichtiger Fragen (Schlusspartien der Excerpta Constantini und die Bestimmung der Verfassungszeit, die Frage nach dem Status der Excerpta Cod. Par. 1630 und der Exc. Salmasiana) habe ich zunächst die in der byzantinistischen Forschung aufgedeckten Probleme und die erarbeiteten Vorschläge zu ihrer Lösung skizziert, um sie in einem zweiten Schritt mit den Lösungsvorschlägen und dem argumentativen Vorgang Robertos zu kontrastieren. Aus diesem Vergleich geht m. E. hervor, dass die „Johanneische Frage“ in der Edition von Roberto keine originelle und (...) unerwartete Lösung erfahren, sondern eine weitere Verwicklung erlitten hat. Die Fehlentscheidungen bezüglich dieser drei Komponenten führen zu weiteren Verzerrungen: Viele Glossen aus der Suda, die Texte der Wiener Troica und der Hypothesis zur Odyssee wurden in das Corpus in Folge von Übereinstimmungen mit den zu Unrecht für Johannes von Antiochien erklärten Texten aufgenommen. Es versteht sich von alleine, dass alle Beobachtungen über die Quellen, den literarischen Wert und das weitere Schicksal der Chronik, die Roberto auf der Basis des von ihm zusammengezimmerten Corpus anstellt, im gleichen Maße als wissenschaftlich zuverlässig zu betrachten sind, in welchem die Ausführungen und Theorien es sind, welche die Aufnahme des entsprechenden Materials in das Corpus rechtfertigen. Obwohl der interessierte Leser jetzt ein umfangreiches Dossier zur „Johanneischen Frage“ an die Hand bekommen hat, ist das Erscheinen dieses Bandes eher zu beklagen als zu begrüßen: Die allgemeine Verwirrung um Johannes von Antiochien ist damit nur größer geworden. (shrink)

The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M, generalizing a result of Dolich on o-minimal theories in [4].

Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture (...) for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L. (shrink)

Anhand dreier wichtiger Fragen habe ich zunächst die in der byzantinistischen Forschung aufgedeckten Probleme und die erarbeiteten Vorschläge zu ihrer Lösung skizziert, um sie in einem zweiten Schritt mit den Lösungsvorschlägen und dem argumentativen Vorgang Robertos zu kontrastieren. Aus diesem Vergleich geht m. E. hervor, dass die „Johanneische Frage“ in der Edition von Roberto keine originelle und unerwartete Lösung erfahren, sondern eine weitere Verwicklung erlitten hat.Die Fehlentscheidungen bezüglich dieser drei Komponenten führen zu weiteren Verzerrungen: Viele Glossen aus der Suda, die (...) Texte der Wiener Troica und der Hypothesis zur Odyssee wurden in das Corpus in Folge von Übereinstimmungen mit den zu Unrecht für Johannes von Antiochien erklärten Texten aufgenommen. Es versteht sich von alleine, dass alle Beobachtungen über die Quellen, den literarischen Wert und das weitere Schicksal der Chronik, die Roberto auf der Basis des von ihm zusammengezimmerten Corpus anstellt, im gleichen Maße als wissenschaftlich zuverlässig zu betrachten sind, in welchem die Ausführungen und Theorien es sind, welche die Aufnahme des entsprechenden Materials in das Corpus rechtfertigen.Obwohl der interessierte Leser jetzt ein umfangreiches Dossier zur „Johanneischen Frage“ an die Hand bekommen hat, ist das Erscheinen dieses Bandes eher zu beklagen als zu begrüßen: Die allgemeine Verwirrung um Johannes von Antiochien ist damit nur größer geworden. (shrink)

The author reveals Fyodor Dostoevsky's works main features, his importance for Russian and world philosophy. The researcher analyzes the concept of "Russian Idea" introduced by Dostoyevsky, which became a study subject in Russian philosophy's subsequent history. The polemics that arose regarding the characteristics of Dostoevsky's soilness ideology and his interpretation of the Russian Idea in his Pushkin Speech and subsequent comments in A Writer's Diary are unveiled. The author concludes that Dostoevsky overcomes the limitations of soilness and comes to universalism. (...) The universal for him does not have a rootless cosmopolitan character but is born from the national's heyday. Diversity adorns the truth, and national diversity enamels humankind. People's real unity is in that all-human value that is found in the highest examples of each national culture. The truth is not in rootless cosmopolitanism or nationalism - it is in the "golden mean," which, in our opinion, the writer-philosopher sought to express. Dostoevsky wanted to rise above the dispute, to recognize the points of view of the Slavophiles and Westernizers as one-sided, to get out of any particularity to universality. (shrink)

The article analyzes the philosophical concept of the “porous self” of J. Rivera. The originality of this concept in the post-phenomenological project is determined by the role of theological constructions that modify the primal experience of self-consciousness. This modification allows us to interpret the phenomenological description of the human self as different from the classical — “porous” temporality, i.e., correlating through “two entrances”—the internal and external—with eternity. Within this approach, the primary phenomenon of the constitution of the "porous" self becomes (...) the inner word, which in the appeal to eternity turns out to be the original self-awareness of the self as a temporality. The secondary phenomenon of the constitution of the “porous” self is not the mundane temporality of M. Heidegger, but Epektasis as an intense striving towards the end of time in General. The worldly temporality of the self, transformed by faith, is phenomenologically revealed as open to eternity in each of its moments. The third phenomenon of the temporality of the self is Memoria, whose interpretation reveals how the structure of the inner consciousness of time by E. Husserl can be framed ontologically and harmoniously integrated into the theological concept. The article shows how, based on this understanding of both the internal and external openness of the “porous” self for eternity, the integral structure of its temporality is formed. The temporality of the porous self is a modification of Husserl’s time diagrams and the intertwining of two streams of temporality at the same time from past to future and from future to past, which itself constitutes a phenomenal field of events of self. This understanding of temporality sets new perspectives for the phenomenological analysis of subjectivity. (shrink)

The author presents the previously unknown text of the outstanding Soviet philosopher and historian of science Boris Mikhailovich Hessen. The author analyzes the report of Boris M. Hessen at the Second international Congress on the history of science and technology in London (1931). He considers as well some published works of B.M. Hessen, mainly his book on the philosophical interpretation of the theory of relativity. He argues that it is time to start introducing unpublished texts by B.M. Hessen into scientific (...) circulation. This will make the study of his work more thorough and increase the reliability of conclusions made by specialists in Hessen’s legacy. This publication offers the reader the text of B.M. Hessen, extracted from the archive: the report of B.M. Hessen at a meeting of the Presidium of the Communist Academy about the trip to the London Congress. (shrink)

§1. Introduction. By and large, definitions of a differentiable structure on a set involve two ingredients, topology and algebra. However, in some cases, partial information on one or both of these is sufficient. A very simple example is that of the field ℝ where algebra alone determines the ordering and hence the topology of the field:In the case of the field ℂ, the algebraic structure is insufficient to determine the Euclidean topology; another topology, Zariski, is associated with the ield but (...) this will be too coarse to give a diferentiable structure.A celebrated example of how partial algebraic and topological data determines a differentiable structure is Hilbert's 5th problem and its solution by Montgomery-Zippin and Gleason.The main result which we discuss here is of a similar flavor: we recover an algebraic and later differentiable structure from a topological data. We begin with a linearly ordered set ⟨M, <⟩, equipped with the order topology, and its cartesian products with the product topologies. We then consider the collection of definable subsets of Mn, n = 1, 2, …, in some first order expansion ℳ of ⟨M, <⟩. (shrink)

The spiritual geography of Russian cosmism. General characteristics ; Recent definitions of cosmism -- Forerunners of Russian cosmism. Vasily Nazarovich Karazin (1773-1842) ; Alexander Nikolaevich Radishchev (1749-1802) ; Poets: Mikhail Vasilyevich Lomonosov, (1711-1765) and Gavriila Romanovich Derzhavin (1743-1816) ; Prince Vladimir Fedorovich Odoevsky (1803-1869) ; Aleksander Vasilyevich Sukhovo-Kobylin (1817-1903) -- The Russian philosophical context. Philosophy as a passion ; The destiny of Russia ; Thought as a call for action ; The totalitarian cast of mind -- The religious and spiritual (...) context. The kingdom of god on earth ; Hesychasm: two great Russian saints ; The Third Rome ; Pre-Christian antecedents -- The Russian esoteric context. Early searches for "deep wisdom" ; Popular magic ; Higher magic in the time of Peter the Great ; Esotericism after Peter the Great ; Theosophy and anthroposophy -- Nikolai Fedorovich Fedorov (1829-1903), the philosopher of the common task ; The one idea ; The unacknowledged prince ; The village teacher ; First disciple: Dostoevsky and Tolstoy ; The Moscow librarian ; Last years: Askhabad: the only portrait -- The "common task" ; Esoteric dimensions of the "common task" ; Fedorov's legacy: projectivism, delo, regulation -- The religious cosmists. Vladimir Sergeevich Solovyov (1853-1900) ; Sergei Nikolaevich Bulgakov (1871-1944) ; Pavel Aleksandrovich Florensky (1882-1937) ; Nikolai Aleksandrovich Berdyaev (1874-1948) -- The scientific cosmists. Konstantin Edouardovich Tsiolkovsky (1857-1935) ; Vladimir Ivanovich Vernadsky (1863-1945) ; Alexander Leonidovich Chizhevsky (1897-1964) ; Vasily Feofilovich Kuprevich (1897-1969) -- Promethean theurgy. Life-creation ; Cultural immortalism ; God-building ; Re-aiming the arrows of Eros ; Technological utopianism ; Occultism -- Fedorov's twentieth century followers. Nikolai Pavlovich Peterson (1844-1919) and Vladimir Aleksandrovich Kozhevnikov (1852-1917) ; Svyatogor and the biocosmists ; New wine and the universal task ; Alexander Konstantinovich Gorsky (1886-1943) and Nikolai Alexandrovich Setnitsky (1888-1937) ; Valerian Nikolaevich Muravyov (1885-1932) ; Vasily Nikolaevich Chekrygin (1897-1922) -- Cosmism and its offshoots today. The N.F. Fedorov museum-library ; The Tsiolkovsky museum and Chizhevsky center ; ISRICA - Institute for Scientific Research in Cosmic Anthropoecology ; Lev Nikolaevich Gumilev (1912-1992) and neo-eurasianism ; The hyperboreans ; Scientific immortalism: Igor Vishev, Danila Medvedev ; Conclusions about the Russian cosmists. (shrink)

An excerpt from Sergei M. Eisenstein's memoirs describing a night visit to the museum of Chichén Itzá in Mexico is set forth as a real life example reflecting, both from a visual and theoretical perspective, the architecture of Aby Warburg's Bilderatlas Mnemosyne and his concept of Denkraum. Drawing upon Warburg's own writings and F. T. Vischer's theory of symbol, the paper looks at Eisenstein's experience at the museum as highlighting the dynamic relation between man's religious/magical and scientific/rational (...) psychic poles, and the in-between space of thought inherent to the concept of Denkraum and visually represented by the empty dark intervals separating the images in the Bilderatlas. Adding significance to its argumentation, the paper also hints at an affinity between Eisenstein's film montaging and Warburg's image assembling criteria. (shrink)

Machine generated contents note: List of contributors; Acknowledgments; Introduction: the humanist tradition in Russian philosophy G. M. Hamburg and Randall A. Poole; Part I. The Nineteenth Century: 1. Slavophiles, Westernizers, and the birth of Russian philosophical humanism Sergey Horujy; 2. Alexander Herzen Derek Offord; 3. Materialism and the radical intelligentsia: the 1860s Victoria S. Frede; 4. Russian ethical humanism: from populism to neo-idealism Thomas Nemeth; Part II. Russian Metaphysical Idealism in Defense of Human Dignity: 5. Boris Chicherin and human dignity (...) in history G. M. Hamburg; 6. Vladimir Solov'iev's philosophical anthropology: autonomy, dignity, perfectibility Randall A. Poole; 7. Russian panpsychism: Kozlov, Lopatin, Losskii James P. Scanlan; Part III. Humanity and Divinity in Russian Religious Philosophy after Solov'iev: 8. A Russian cosmodicy: Sergei Bulgakov's religious philosophy Paul Valliere; 9. Pavel Florenskii's trinitarian humanism Steven Cassedy; 10. Semën Frank's expressivist humanism Philip J. Swoboda; Part IV. Freedom and Human Perfectibility in the Silver Age: 11. Religious humanism in the Russian silver age Bernice Glatzer Rosenthal; 12. Russian liberalism and the philosophy of law Frances Nethercott; 13. Imagination and ideology in the new religious consciousness Robert Bird; 14. Eschatology and hope in silver age thought Judith Deutsch Kornblatt; Part V. Russian Philosophy in Revolution and Exile: 15. Russian Marxism Andrzej Walicki; 16. Adventures in dialectic and intuition: Shpet, Il'in, Losev Philip T. Grier; 17. Nikolai Berdiaev and the philosophical tasks of the emigration Stuart Finkel; 18. Eurasianism: affirming the person in an 'Era of Faith' Martin Beisswenger; Afterword: on persons as open-ended ends-in-themselves (the view from two novelists and two critics) Caryl Emerson; Bibliography. (shrink)

In response to Anderson and Arzyutov’s paper, I argue that ambiguities in the Russian social-scientific concept of “etnos” reveal its place in what I call a “field style” for thinking and doing science. Tolerance for ambiguity is, I suggest, a methodological strength of the field sciences. I support these reflections by also addressing the etnos concept’s origins in the complex history of Ukrainian nationalism.

In una fase della teoria del cinema e dei media, come quella attuale, che appare segnata da un dibattito sempre più intenso sul significato e sulla portata di nozioni come quelle di medium e dispositivo, riprendere l’opera di autori come Dziga Vertov e Sergei M. Ejzenštejn, Siegfried Kracauer e Walter Benjamin, può risultare una via produttiva non solo nel tentativo di situare in una prospettiva storica il dibattito contemporaneo, ma anche di trovare nuove modi di pensare le nozioni citate (...) di medium e di dispositivo. Nel presente studio, l’autore esamina la riflessione di Ejzenštejn riguardo al dispositivo cinematografico come assemblage – flessibile, dinamico e in evoluzione – di tecniche, spazi e operazioni, concentrandosi su due momenti cruciali della sua lunga e complessa carriera: la conferenza The Dynamic Square tenuta a Hollywood nel 1930, e il progetto per film rimasto incompiuto e intitolato Glass House, presentato quello stesso anno alla Paramount. In entrambi i casi, Ejzenštejn considera lo schermo – una delle componenti cruciali del dispositivo cinematografico – come allo stesso tempo condizione senza la quale le immagini proiettate non possono essere visualizzate, come superfice di dimensioni e forme variabili, e come luogo di una serie di sperimentazioni sul montaggio e sullo spazio cinematografico, che in Glass House mette in luce le implicazioni estetiche e sociali di uno spazio completamente trasparente. (shrink)

Sergei Eisenstein’s 110th anniversary celebrated in 2008 calls for a re-assessment of his overall heritage, which until now has been customarily perceived in Western film scholarship as - in Annette Michelson’s words - ’indissolubly linked to the project of construction of socialism’ - a view shared from Marie Seton to Jacques Aumont, from Kristin Thompson to Ian Christie and from David Bordwell to Anna Bohn. Not only did Eisenstein’s output magnificently and persuasively outlive this project, but from (...) our vantage point at the beginning of the twenty- first century we can see its position within the complex tapestry of the cultural, philosophical, political and aesthetic developments of the twentieth century from a different angle. Drawing on the recently published in Russia Eisenstein’s magnum opus Method and the author’s research on still unpublished Eisenstein’s writings of the same period, including his diaries, the present paper positions the discussion of Eisenstein’s theory-and-practice between two diametrically opposed philosophical poles - utopia and event. I argue that while Eisenstein’s theoretical writings were encompassed by a number of utopian ideas, which were, nevertheless quite different from the utopian projects of bolshevism, it is his cinematography, which now - in the context of an on-going discussion in continental philosophy - can be defined as ’cinema of event’ that demonstrates the biggest and radical discrepancy between Eisenstein’s work and both ideology and art of socialism - the world of ‘realized utopia.’ . (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

Various connexive FDE-based modal logics are studied. Some of these logics contain a conditional that is both connexive and strict, thereby highlighting that strictness and connexivity of a conditional do not exclude each other. In particular, the connexive modal logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, cKN4, scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, scKN4, cMBL, and scMBL are introduced semantically by means of classes of Kripke models. The logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...) \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document} and cKN4 are connexive variants of the FDE-based modal logics BK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document} and KN4 with a weak and a strong implication, respectively. The system cMBL is a connexive variant of the modal bilattice logic MBL. The latter is a modal extension of Arieli and Avron’s logic of logical bilattices and is characterized by a class of Kripke models with a four-valued accessibility relation. In the systems scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, scKN4, and scMBL, the conditional is both connexive and strict. Sound and complete tableau calculi for all these logics are presented and used to show that the entailment relations of the systems under consideration are decidable for finite premise set. Moreover, the logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cBK}^-$$\end{document} and cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} are shown to be algebraizable. The algebraizability of cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} is derived from proving cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} to be definitionally equivalent to MBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {MBL}$$\end{document}. All connexive modal logics studied in this paper are decidable, paraconsistent, and inconsistent but non-trivial logics. (shrink)

Neuroscience has established several brain pathways that process visual information. Distinct neural circuits analyze body appearance and movement providing information about the person’s cognitive and emotional states. The activity of the pathways depends on the salience of visual stimuli for the organism in the given circumstances. Since ballet performances are not among the crucial events for the viewer’s organism, not all viewers perceive and interpret bodily signs that express the mental state of the dancer. Treatment of the dancer as close (...) other activates the neural circuits that elaborate emotions, this enables the viewer to feel the internal state of the dancer and enrich the interpretation of the scenic action. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

Why does the theory of law have such a significant role in Russian liberalism, and how is this related to the state of the legal system in Russia and to the public’s legal consciousness? This intro...

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

The article proceeds from the concept of understanding local government in Russia as a projection of the potestar (pre-state) organization of public life, which transforms under the dominance of methods of state organization of public life, but retains its influence as the essential core of political and social interaction between people. The existing complex «state-municipal» mechanism for exercising power at the local level largely determines the forms and nature of political actors’ interaction at the regional level. State authorities, which are (...) focused on the totality of their own administrative influences, have not yet succeeded in fully integrating local self-government into the general public space of responsibility for powers, since local power is unbuilt initially on the principles of autogenesis, autochthony and autonomy. The current situation contributes to the archaicism of a part of social relations. For some time now, to work in the multidimensional reality of society, the authorities have begun to need analytical models to understand what is happening. As an explanatory theoretical basis for the modes of existence of local authorities developed and described by the author in the current stage of development of Russian statehood, a modal methodology is used, supplemented by the results of constructing model-oriented political ontologies, which reflect the aggregates of the layers and actors of the municipal sphere of sociopolitical reality at the regional level that are actually and actively present in the Russian society. The author is interested in searching the patterns that operate in the environment created and cultivated by the organizational and activity efforts of state structures against the background of sociocultural and other characteristics inherent in the regions. Possible working models for the needs of public administration arising from the modes offered by the author are still under development, since the reform of constitutional rules proposed by the country’s leadership raises the question of new forms of organizing the continuum of coexistence and interaction of local and state authorities in Russia. The article outlines the main research lines that indicate a number of features and reference points of the author’s approach in understanding the relationship between local government and municipal government, which may serve as an occasion for a new circle of discussions of specialists interested in the prospects for the development of political potential in the Russian municipal environment. (shrink)

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...) former. (shrink)

Historical entitlement theories of property rights, which claim that individuals can acquire moral property rights over natural resources by appropriating them, traditionally face a strong objection: it is widely implausible that a single individual can unilaterally impose duties on everyone around him and yet, apparently, this is exactly what such theories allow. In this essay, I argue that the same problem appears in all other theories of distributive justice and if this problem was a reason to reject historical entitlement theories, (...) it would also be a reason to reject all rival theories. Which means that as long, as one is committed to any theory of distributive justice at all, she, at the risk of inconsistency, cannot rely on the aforementioned objection to criticize historical entitlement theories. (shrink)